An Initial-Algebra Approach to Directed Acyclic Graphs
نویسنده
چکیده
The initial-algebra approach to modelling datatypes consists of giving constructors for building larger objects of that type from smaller ones, and laws identifying di erent ways of constructing the same object. The recursive decomposition of objects of the datatype leads directly to a recursive pattern of computation on those objects, which is very helpful for both functional and parallel programming. We show how to model a particular kind of directed acyclic graph using this initial-algebra approach.
منابع مشابه
The Algebra of Directed Acyclic Graphs
We give an algebraic presentation of directed acyclic graph structure, introducing a symmetric monoidal equational theory whose free PROP we characterise as that of finite abstract dags with input/output interfaces. Our development provides an initial-algebra semantics for dag structure.
متن کاملAlgebraic Structures of Directed Acyclic Graphs: Application to Concurrent Calculus
The paper deenes an algebraic tool for manipulating directed acyclic graphs (on short dags). The approach we propose combines two mathematical tools { category theory and universal algebra { and it allows an unitary treating of dags transformations. We show that the speciication, implementation and programming of concurrent systems can be achieved by using this theory.
متن کاملA Calculus and Algebra for Querying Directed Acyclic Graphs
Resumen. In this paper we present a language for querying directed acyclic graph. The language is based on patterns, that is, grosso modo, on variable-free logic expressions. In order to be included in a broader calculus, the language allows the assignment to variables of portions of a graph that match sub-patterns. Finally, we show how the epressions in the language can be translated into a qu...
متن کاملThe Incidence Hopf Algebra of Graphs
The graph algebra is a commutative, cocommutative, graded, connected incidence Hopf algebra, whose basis elements correspond to finite graphs and whose Hopf product and coproduct admit simple combinatorial descriptions. We give a new formula for the antipode in the graph algebra in terms of acyclic orientations; our formula contains many fewer terms than Takeuchi’s and Schmitt’s more general fo...
متن کاملExchange Relations for Finite Type Cluster Algebras with Acyclic Initial Seed and Principal Coefficients
We give an explicit description of all the exchange relations in any finite type cluster algebra with acyclic initial seed and principal coefficients.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1995